[IA64] Add NULL test in domain_page_mapped()
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 9 Jun 2006 16:35:37 +0000 (10:35 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 9 Jun 2006 16:35:37 +0000 (10:35 -0600)
commit774ae11f51bdc3194cd1f06a68271e1b94409cdd
tree072ee4cfa8d595eada55d66c1ca0eaf69a76447a
parent58f8dc1cba4dd024fdba3325d4b795a6ea900ebc
[IA64] Add NULL test in domain_page_mapped()

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/mm.c